Profunctor p => (forall c. p c c) -> p a b